Issue2170.agda:32,36-40
.(a) != a of type Bool
when checking that the expression refl has type .(a) ≡ a
